$\forall$$T$:Type, $R$:($T$$\rightarrow$$T$$\rightarrow$Type), $Q$:($T$$\rightarrow\mathbb{P}$).
\\[0ex]EquivRel($T$;$x$,$y$.$R$($x$,$y$)) $\Rightarrow$ EquivRel(\{$z$:$T$$\mid$ $Q$($z$)\} ;$x$,$y$.$R$($x$,$y$))